1. Advances in Steiner Trees
پدیدآورنده : edited by Ding-Zhu Du, J. M. Smith, J. H. Rubinstein.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algorithms.,Combinatorics.,Information theory.,Mathematical optimization.,Mathematics.
2. Algebraic geometry and its applications :
پدیدآورنده : editors, Jean Chaumine, James Hirschfeld, Robert Rolland.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Geometry, Algebraic, Congresses.,Geometry, Algebraic.,MATHEMATICS-- Geometry-- Algebraic.
رده :
QA564
.
S964
2007eb
3. An Introduction to Convex Polytopes
پدیدآورنده : by Arne Brøndsted.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Combinatorics.,Mathematics.
4. An introduction to Ramsey theory :
پدیدآورنده : Matthew Katz, Jan Reimann.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Combinatorial analysis.,Ramsey theory.,Combinatorial analysis.,Combinatorics -- Extremal combinatorics -- Ramsey theory.,Mathematical logic and foundations -- Computability and recursion theory -- Recursive functions and relations, subrecursive hierarchies.,Mathematical logic and foundations -- General logic -- Classical first-order logic.,Mathematical logic and foundations -- General logic -- Decidability of theories and sets of sentences.,Mathematical logic and foundations -- Instructional exposition (textbooks, tutorial papers, etc.).,Mathematical logic and foundations -- Nonstandard models -- Nonstandard models of arithmetic.,Mathematical logic and foundations -- Set theory -- Ordinal and cardinal numbers.,Ramsey theory.
رده :
QA165
.
K38
2018
5. Answer set programming /
پدیدآورنده : by Vladimir Lifschitz.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Artificial intelligence.,Logic programming.,Artificial intelligence.,Logic programming.
رده :
QA76
.
63
6. Bent functions :
پدیدآورنده : by Natalia Tokareva, Sobolev Institute of Mathematics, Novosibirsk State University, Novosibirsk, Russia
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Algebra, Boolean,Algebraic functions,Cryptography-- Mathematics
رده :
QA341
.
T65
2015
7. Bijective combinatorics
پدیدآورنده : Nicholas A. Loehr
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع : Combinatorial analysis
رده :
QA
164
.
L66B5
2011
8. Combinatorial Set Theory
پدیدآورنده : \ Lorenz J. Halbeisen
کتابخانه: کتابخانه زبانهای خارجی و منابع اسلامی (قم)
موضوع : Combinatorial set theory.,Forcing (Model theory)
رده :
E-Book
,
9. Combinatorial algorithms :
پدیدآورنده : Costas S. Iliopoulos, William F. Smyth (editions.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Combinatorial analysis-- Data processing, Congresses,Computational complexity, Congresses,Computer algorithms, Congresses
رده :
QA164
.
I58
2011
10. Combinatorial set theory
پدیدآورنده : / Lorenz J. Halbeisen
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Combinatorial set theory.,Forcing (Model theory)
رده :
QA
,
248
,.
H238
,
2012
11. Combinatorial set theory
پدیدآورنده : / Paul Erdios ... [et al.]
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (طهران)
موضوع :
رده :
QA248
،.
C66
1984
12. Combinatorial set theory
پدیدآورنده : Lorenz J. Halbeisen
کتابخانه: کتابخانه و مرکز اطلاع رسانی آیت الله ایمانی دانشگاه سلمان فارسی (فارس)
موضوع : Combinatorial set theory,Forcing )Model theory(
رده :
QA
248
.
H22C6
2012
13. Combinatorial set theory
پدیدآورنده : Williams, Neil H.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Combinatorial set theory
رده :
QA
248
.
W56
14. Combinatorial set theory
پدیدآورنده : Lorenz J. Halbeisen
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Combinatorial set theory,Forcing (Model theory)
رده :
QA248
.
H25
2012eb
15. Combinatorial set theory
پدیدآورنده : / Lorenz J. Halbeisen
کتابخانه: المكتبة المركزية مركز التوثيق وتزويد المصادر العلمية (أذربایجان الشرقیة)
موضوع : Combinatorial set theory,Forcing (Model theory)
رده :
E-BOOK
16. Combinatorial set theory
پدیدآورنده : / Neil H. Williams
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Combinatorial set theory.
رده :
QA
,
248
,.
W56
17. Combinatorial set theory : partition relations for cardinals
پدیدآورنده : Paul Erdos...]et al.[
کتابخانه: (طهران)
موضوع : ، Combinatorial set theory
رده :
QA
248
.
C616
1984
18. Combinatorial set theory: with a gentle introduction to forcing
پدیدآورنده : Halbeisen, Lorenz J.
کتابخانه: المكتبة المركزية ومركز التوثيق (کلستان)
موضوع : ، Combinatorial set theory,، Forcing )Model theory(
رده :
QA
248
.
H238
C66
19. Combinatorial set theory with a gentle introduction to forcing
پدیدآورنده : Halbeisen, Lorenz J., Lorenz J. Halbeisen
کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)
موضوع : ، Combinatorial set theory,، Forcing )Model theory(
رده :
QA
248
.
H238
2012
20. Combinatorial set theory : with a gentle introduction to forcing
پدیدآورنده : Halbeisen, Lorenz J.
کتابخانه: (طهران)
موضوع : ، Combinatorial set theory,، Forcing )Model theory(
رده :
QA
248
.
H25C6
